A-normal form - PDFSEARCH.IO - Document Search Engine

A-normal form
Results: 190

#	Item
11	Brake’s Giant Walk Route Risk Assessment Form Any questions, call the Giant Walk team onor e: It is important that you do your risk assessment ‘walk about’ at 10am on a normal w Add to Reading List Source URL: www.brake.org.uk Language: English - Date: 2016-04-14 05:41:16 Hazard analysis Risk Safety Safety engineering Probability Risk management Hiking Hazard Risk assessment Walking
12	Interactively Solving Repeated Games: A Toolbox Version 0.2 Sebastian Kranz* March 27, 2012 Add to Reading List Source URL: www.uni-ulm.de Language: English - Date: 2015-01-08 00:04:41 Game theory Software Application software Mathematical software Nash equilibrium Normal-form game R Outcome Strategy Stackelberg competition
13	A CLOSED FORM APPROACH TO THE VALUATION AND HEDGING OF BASKET AND SPREAD OPTIONS Svetlana Borovkova0 , Ferry J. Permana and Hans v.d. Weide Key words: basket options, spread options, log-normal approximation, closed form Add to Reading List Source URL: www.bbk.ac.uk Language: English - Date: 2007-03-27 13:47:20 Mathematical analysis Statistics Probability Probability distributions Mathematical finance Options Log-normal distribution Volatility Normal distribution BlackScholes model Option style Gamma distribution
14	Asian Journal of Control, Vol. 16, No. 1, pp. 30–39, January 2014 Published online 25 September 2012 in Wiley Online Library (wileyonlinelibrary.com) DOI: asjc.610 CONSENSUS FOR AGENTS WITH DOUBLE INTEGRATOR DY Add to Reading List Source URL: www.control.tu-berlin.de Language: English - Date: 2015-03-27 05:46:10 Algebra Linear algebra Mathematics Matrix theory Matrices Algebraic graph theory Eigenvalues and eigenvectors Singular value decomposition Laplacian matrix Jordan normal form Spectrum of a matrix Matrix
15	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
16	A REDUCE package for the computation of several matrix normal forms Matt Rebbeck Konrad-Zuse-Zentrum f¨ ur Informationstechnik Berlin Takustra¨se 7 Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:47:04 Linear algebra Matrix theory Matrices Jordan normal form Matrix Frobenius normal form Triangular matrix Square matrix Eigenvalues and eigenvectors Determinant Trace Canonical form
17	Cellular Automata Reversible over Limit Set? S IAMAK TAATI† Turku Centre for Computer Science, and Department of Mathematics, University of Turku, Finland Reversibility of dynamics is a fundamental feature of nature, Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:20 Combinatorics on words Symbolic dynamics Markov processes Spectral theory Ergodic theory Subshift of finite type Shift space Spectral theory of ordinary differential equations Jordan normal form
18	On the Complexity of Computing Units in a Number Field V. Arvind and Piyush P Kurur Institute of Mathematical Sciences C.I.T Campus,Chennai, India {arvind,ppk}@imsc.res.in Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2016-07-30 09:35:21 Complexity classes Algebraic number theory Polynomials Circuit complexity NC NP Lattice Algebraic number field Jordan normal form Discriminant of an algebraic number field
19	LYSGROUP: Adapting a Spanish microtext normalization system to English. ´ Vilares, Carlos G´omez-Rodr´ıguez Yerai Doval, Jesus LYS group, Departamento de Computaci´on, Facultade de Inform´atica, Universidade da Cor Add to Reading List Source URL: noisy-text.github.io Language: English - Date: 2016-08-14 21:11:08 Computational linguistics Natural language processing Normalization Database normalization Text normalization Speech recognition Twitter Normal form
20	Verifying arbitrary temporal formulas in the temporal logic of actions Lucian Wischik In SRC Technical NoteThis report describes a summer project undertaken by Lucian Wischik of the University of Cambridge, at Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-06-10 07:22:12 Syntax Temporal logic Disjunctive normal form Model checking Well-formed formula Formula

UPDATE